Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
171	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
172	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
173	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 180 DATE: MAY 1, 2016 PROJECT DP0130 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-04-05 10:54:25 Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics Symbol International System of Units
174	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 183 DATE: MAY 1, 2016 PROJECT DP0142 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-04-05 10:54:25 Logic Linguistics Mathematics Lexicography Definition Meaning Philosophical logic Philosophy of language Semantics Group Subgroup
175	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
176	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
177	UCL Working Papers in LinguisticsModality in language development: reconsideration of the evidence* a Add to Reading List Source URL: papafragou.psych.udel.edu Language: English - Date: 2005-02-24 09:23:50 Grammatical moods Philosophy Grammar Linguistics Modality Semantics Linguistic modality Modal verb Epistemic modality English modal verbs Modal logic Force dynamics
178	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 195 DATE: MAY 1, 2016 PROJECT DP0167 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-04-05 10:54:45 Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics Lamination Communist Party of Canada
179	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 176 DATE: MAY 1, 2016 PROJECT DP0123 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-04-05 10:54:20 Logic Linguistics Analytic philosophy Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics International System of Units
180	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 181 DATE: MAY 1, 2016 PROJECT DP0134 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-04-05 10:54:24 Linguistics Logic Analytic philosophy Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics Silanes International System of Units Symbol

UPDATE